Embedding and representation theorems for clones and varieties
نویسندگان
چکیده
منابع مشابه
Dimension and Embedding Theorems for Geometric Lattices
Let G be an n-dimensional geometric lattice. Suppose that 1 < e, f < n 1, e + f > n, but e and f are not both n 1. Then, in general, there are E, FE G with dimE=e, dimF=f, EvF=l, and dimEhF=e+f-n-l; any exception can be embedded in an n-dimensional modular geometric lattice M in such a way that joins and dimensions agree in G and M, as do intersections of modular pairs, while each point and lin...
متن کاملSubnormal Embedding Theorems for Groups
In this paper we establish some subnormal embeddings of groups into groups with additional properties; in particular embeddings of countable groups into 2-generated groups with some extra properties. The results obtained are generalizations of theorems of P. Hall, R. Dark, B. Neumann, Hanna Neumann, G. Higman on embeddings of that type. Considering subnormal embeddings of finite groups into fin...
متن کاملCoding Theorems for Reversible Embedding
We consider embedding of messages (data-hiding) into i.i.d. host sequences. As in Fridrich et al. [2002] we focus on the case where reconstruction of the host sequence from the composite sequence is required. We study the balance between embedding rate and embedding distortion. First we determine the distortion-rate region corresponding to this setup. Then we generalize this result in two direc...
متن کاملRepresentation Theorems and Realism
The representation theorems of expected utility theory show that having certain types of preferences is both necessary and sufficient for being representable as having subjective probabilities. However, unless the expected utility framework is simply assumed, such preferences are also consistent with being representable as having degrees of belief that do not obey the laws of probability. This ...
متن کاملRepresentation Theorems for Quantales
In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. 1991 Mathematics Subject Classificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1989
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700004305